Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Search Results
Results: 1 through 50 of 105 (0.01 secs)
You searched for: subject:"equivalence"
[1] 2 3     Next    Last
[movies]Kabbalah Revealed Episode 7 : Equivalence of Form - ARI Films
For more info: http://www.kabbalah.info The law of equivalence of form that operates to bring every part of nature to a state of complete balance. The method of Kabbalah is introduced in this episode as the means for humans to reach equivalence of form with nature at the level of thoughts. Go to next episode Go to first episode
Keywords: equivalence; kabbalah; spirituality; god
Downloads: 271
[texts]Toward a New Representation of Aristotle's Modal Logic - José Veríssimo Teixeira da Mata
The aim of this article is rebuild an argumento by Aristotle presented in De Interpretatione and its consequence in modern logical tools made by Lukasiewicz. As consequence of my rebuilding, I present a new symbolic representation of propositions concerning the modalities of necessity and possibility and I discuss the ontological status of such propositions.
Keywords: necessity; possibility; equivalence
Downloads: 109
[texts]Equivalent equations - Smith, Irvin Webster
Thesis (B.A.)--University of Illinois, 1909
Keywords: Rational equivalence (Algebraic geometry); Equivalence relations (Set theory); Theses
Downloads: 19
[texts]A property of equivalence (Volume 78B) - Newman, Morris
Journal of Research of the National Bureau of Standards
Keywords: Elementary divisors; equivalence; Kronecker products
Downloads: 41
[texts]Secure Scan Design Using Redundant Scan Register
Cryptographic VLSI chip has a significant role toresist the attacks which is the growing customer concern ofhardware security. Redundancy introduces a great amount ofrandomness & non linearity in any kind circuitry(combinational or sequential). We introduce a new type ofredundancy in sequential circuits to make redundant scanregisters that are indistinguishable with the original scanregisters. They are sequentially undetectable as well asredundant, which makes it highly secured...
Keywords: Functional equivalence; Isomorphic redundancy; RScR
Downloads: 16
[movies]Logical Fallacies: Moral Equivalence - Coach Gordon
A short clip from an AP English Language & Composition high school class. To introduce a unit on logical fallacies, a student wrote silly scripts that each illustrate a different fallacy. This clip shows 2 students acting out one of the scripts (for moral equivalence) and then the class discusses what was "wrong" with the argument contained in the script. This helped the students preview the material even though they'd never studied fallacies before.
Keywords: high school; english; logical fallacies; moral equivalence
Downloads: 273
[texts]Background to Set & Group Theory - D.E. Mansfield & M. Bruckheimer
D.E. Mansfield & M. Bruckheimer Background to Set & Group Theory Chatto & Windus 1965 Acrobat 7 Pdf 8.5 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Equivalence Relations; Isomorphism; Mappings; Cardinals
Downloads: 574
[audio]The Bikecast Episode #3: Oklahoma City and Moral Equivalence - Jad Davis
Oklahoma City Bombing, the American Revolution, the Waco Siege, and the arial bombardment of Vietnam. In which instance(s) was violence justified? Which situation had the best outcome resulting from violent action.
Keywords: violence; murder; moral equivalence; morality; ethics; war; just war
Downloads: 22
[texts]Metrological timelines in traceability (Volume 103) - Ehrlich, C.D.
Journal of Research of the National Institute of Standards and Technology
Keywords: traceability statements; calibration; equivalence; measurement assurance; timelines; traceability
Downloads: 53
[texts]Using AVIRIS Data to Map and Characterize Subaerially and Subaqueously Erupted BasalticVolcanic Tephras: The Challenge of Mapping Low-Albedo Materials - Farrand, William H
Increases in the signal-to-noise ratio (SNR) in AVIRIS has enabled the mapping and characterization of low albedo materials. Low albedo materials of interest include certain soils, man-made materials (asphalt, certain building materials, tires, etc.), and basaltic lava flows and ashes. Early in its history, the response of the AVIRIS sensor was not sensitive enough so that these low albedo materials could be reliably mapped...
Downloads: 112
[texts]Equivalence of partitioned matrices (Volume 80B) - Feinberg, Robert B.
Journal of Research of the National Bureau of Standards
Keywords: Determinantal divisors; equivalence; matric equation; partitioned matrix; Smith normal form
Downloads: 52
Einstein's theory of relativity will be put to the test by ACES/PHARAO in 2013. The space will be studied by a new kind of atomic clock (Pharao) which will yield data accuracy much higher than what is attainable under earthâs gravitation. Our wish is that ACES includes the Allais effect in his application domain. This effect is related to an unexplained deviation of the plane of oscillation of the pendulum during solar eclipse...
Keywords: atomic clock; ACES/PHARAO project; Allais eclipse effect; equivalence principle
Downloads: 64
[texts]mit :: lcs :: tm :: MIT-LCS-TM-017
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-017
Keywords: complexity; program; input; equivalence; programs; inputs; set; iff; valid; defined; input set; valid input; equivalence classes; complexity equivalence; equivalence class; complexity measures; complexity behavior; loop block; resource usage; input sets
Downloads: 40 (1 review)
[texts]mit :: lcs :: tr :: MIT-LCS-TR-413
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-413
Keywords: equivalence; automaton; inference; vertex; algorithm; permutation; tests; theorem; experiment; finite; test equivalence; inference algorithm; update graph; inference procedure; equivalence class; equivalence classes; random walk; basic actions; simple assignment; assignment automaton
Downloads: 52
[texts]BSTJ 57: 1. January 1978: Reduction of Network States Under Symmetries. (Benes, V.E.)
Bell System Technical Journal, 57: 1. January 1978 pp 111-149. Reduction of Network States Under Symmetries. (Benes, V.E.)
Keywords: network; equivalence; routing; group; switches; symmetry; permutation; matrix; equations; terminals; routing matrix; equivalence classes; system technical; equivalence class; bell system; structural equivalence; switch permutation; network graph; symmetry group; transition rate
Downloads: 20
[texts]Linking the results of CIPM and RMO key comparisons with linear trends (Volume 115) - Zhang, Nien Fan
Journal of Research of the National Institute of Standards and Technology
Keywords: uncertainty; degrees of equivalence; generalized least squares estimator; linking laboratory
Downloads: 168
[texts]Saddlepoints in p-pivot classes of skew matrices (Volume 78B) - Stein, Marjorie L.
Journal of Research of the National Bureau of Standards
Keywords: Combinaturial equivalence; linear inequalities; linear programs; pivot operations; skewsymmetry
Downloads: 91
[texts]Relativity & High Energy Physics - W.G.V. Rosser
W.G.V. Rosser Relativity & High Energy Physics Wykeham Publications Ltd. 1969 Acrobat 7 Pdf 23.8 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Physics; Principle of Relativity; Galilean Transformation; Lorentz; Equivalence; Clock Paradox
Downloads: 479
[texts]dec :: tech reports :: SRC-RR-149
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-149
Keywords: barbed; lemma; calculus; equivalence; proposition; spi; protocol; proof; process; implies; spi calculus; testing equivalence; barbed congruence; barbed equivalence; structural equivalence; instance sets; closed process; barbed bisimulation; strong bisimilarity; closed terms
[texts]dec :: tech reports :: SRC-RR-55
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-55
Keywords: type; quest; types; interpretation; equivalence; env; vee; longo; semantics; subsumption; env vee; equivalence class; subsumption rule; record types; programming language; equivalence classes; typed terms; semantic interpretation; recursive types; partial equivalence
[texts]mit :: lcs :: tr :: MIT-LCS-TR-237
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-237
Keywords: data; type; specification; operations; equivalence; nondeterministic; operation; behavior; axioms; exception; observable equivalence; type algebras; data type; ground terms; data types; exceptional behavior; nondeterministic operation; ground term; equivalence relation; type algebra
Downloads: 19
[texts]BSTJ 39: 5. September 1960: Some Further Theory of Group Codes. (Slepian, David)
Bell System Technical Journal, 39: 5. September 1960 pp 1219-1252. Some Further Theory of Group Codes. (Slepian, David)
Keywords: columns; equivalence; matrix; indecomposable; vectors; code; theorem; codes; equivalent; generator; generator matrices; indecomposable codes; equivalence classes; bell system; group codes; equivalence class; linear form; system technical; generator matrix; maximum likelihood
Downloads: 40
[texts]mit :: lcs :: tr :: MIT-LCS-TR-152
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-152
Keywords: schema; equivalence; schemas; execution; symbol; predicate; program; iteration; statement; equivalent; equivalence problems; predicate symbol; independent location; monadic program; equivalence problem; restricted location; variable symbols; iteration schema; iteration statement; main conditional
Downloads: 29
[texts]BSTJ 15: 1. January 1936: Some Equivalence Theorems of Electromagnetics and Their Application to Radiation Problems. (Schelkunoff, S.A.)
Bell System Technical Journal, 15: 1. January 1936 pp 92-112. Some Equivalence Theorems of Electromagnetics and Their Application to Radiation Problems. (Schelkunoff, S.A.)
Keywords: magnetic; electric; current; equivalence; currents; sources; coaxial; field; tangential; radiated; technical journal; equivalence principle; electric current; equivalence theorems; magnetic current; bell system; current density; system technical; coaxial pair; electric intensity
Downloads: 155
[texts]mit :: lcs :: tm :: MIT-LCS-TM-042
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-042
Keywords: lemma; theorem; theory; define; abelian; formula; elementary; equivalence; exists; constant; pairwise disjoint; generated abelian; weak direct; elementary recursive; direct product; decision procedure; equivalence classes; order theory; equivalence class; finitely generated
Downloads: 27
[texts]mit :: ai :: aim :: AIM-1342
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-1342
Keywords: grammar; rewriting; equivalence; term; canonical; productions; congruence; nonterminal; equation; finite; nonterminal symbol; grammar term; grammar rewriting; equation set; equivalence class; congruence grammar; equivalence relation; rewriting system; weight function; locally context
Downloads: 31
[texts]mit :: ai :: aim :: AIM-867
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-867
Keywords: phonetic; constraints; unstressed; stressed; broad; recognition; equivalence; phonemes; articulation; syllables; sequential phonetic; equivalence classes; broad phonetic; class size; phonetic constraints; stressed syllables; ambisyllabic phonemes; equivalence class; unstressed syllables; phonetic sequence
Downloads: 20
[texts]dec :: tech reports :: SRC-RR-171
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-171
Keywords: denali; code; matcher; program; equivalence; boolean; satisfiability; machine; matching; conjecture; code generator; machine program; machine code; equivalence class; search principle; satisfiability solver; equivalence classes; compaq systems; technical report; target architecture
Downloads: 3
[texts]dec :: tech reports :: SRC-RR-38
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-38
Keywords: fixpoint; dovetail; commands; theorem; lemma; report; operator; equivalence; proof; looping; looping outcomes; equivalence class; manfred broy; greg nelson; fixpoint method; equivalence relation; commands defined; unbounded nondeterminism; stepping stone; fewer looping
[texts]AC's TECH For The Commodore Amiga - Volume 1 Number 1 (1991-02)(PiM Publications)(US)
AC's TECH For The Commodore Amiga - Volume 1 Number 1 (1991-02)(PiM Publications)(US)
Keywords: amiga; program; file; parameter; integer; disk; files; tech; data; execute; parameter parameter; integer integer; premiere issue; equivalence equivalence; execute dho; rom kernel; script file; hard disk; del del
Downloads: 80
[audio]1Cor 2:9-13 - Preaching, Parsing and Power - Part 1 - Tony Hayling
A devotional commentary on the verse mentioned. Visit blog at "agonizomai.blogspot.com" for more.
Keywords: hermeneutic; exegesis; variation; interpretation; dynamic equivalence; literal; clarity; understanding; revelation; spiritual insight; illumination
Downloads: 33
[texts]Reasoning about Selective Strictness: Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles - Seyed H. HAERI (Hossein)
MPhil Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, 2009
Keywords: Selective Strictness; Lazy Evaluation; Operational Semantics; Observational Equivalence; Induction on the Number of Manipulated Bindings
Downloads: 82
[texts]dec :: pdp11 :: dos-batch :: DosBatchHandbook v9 Apr74 :: C
From the bitsavers.org collection, a scanned-in computer-related document.dec :: pdp11 :: dos-batch :: DosBatchHandbook v9 Apr74 :: C
Keywords: device; controller; dectape; rpll; equivalence; tape; dpb; disk; unit; assigned; paper tape
Downloads: 25
[texts]Hi-Nicalon Fiber-Reinforced Celsian Matrix Composites: Influence of Interface Modification - Bansal, Narottam P.
Unidirectional celsian matrix composites having 42-45 vol % of uncoated or BN-SIC coated Hi-Nicalon fibers were tested in three-point bend at room temperature. The uncoated fiber-reinforced composites showed catastrophic failure with strength of 210 35 MPa and a flat fracture surface. In contrast, composites reinforced with coated fibers exhibited graceful failure with extensive fiber pullout. Values of first matrix cracking stress and strain were 435 /- 35 MPa and 0.27 /- 0.01%, respectively, w...
Downloads: 75
La relativite d Einstein sera mise a l epreuve par l horloge a atomes froids ACES-PHARAO installee dans l espace en 2013. Notre souhait est que son programme d application puisse inclure l effet Allais pour verifier s il y a une deviation du mouvement du pendule lors d eclipses solaires, une variation de la constante G , si la vitesse des stations terrestres est constante, si le principe d equivalence comporte une faille.
Keywords: horloge a atomes froids, projet ACES/PHARAO, effet Allais, principe d equivalence
Downloads: 61
[texts]Advanced Tools for Processing Complex Ontology Web Language (OWL) Data - Hussam H Abuazab
Since the launch of Ontology Web Language on 2004, many papers have been introduced in many layers to process the data stored in Relational Databases and flat data which are understandable by humans, but not by computers. And there is actual success in this direction. Despite this, the need for enriching the OWL class sets is a fundamental factor to guarantee successful processing and representing of data by computers...
Keywords: OWL Class Sets DeMorgan’s Law; MinusOf; Auxiliary Identity; Implication; Exclusive Or; Equivalence
Downloads: 130
[texts]Quantification of Operational Risk Using A Data Mining - Perera, J. Sebastia
What is Data Mining - Data Mining is the process of finding actionable information hidden in raw data. - Data Mining helps find hidden patterns, trends, and important relationships often buried in a sea of data - Typically, automated software tools based on advanced statistical analysis and data modeling technology can be utilized to automate the data mining process
Downloads: 97
[texts]CODAC (Cockpit Oriented Display of Aircraft Configurations) version 1.4 user's guide - Bingel, Bradford D.
The Cockpit Oriented Display of Aircraft Configurations (CODAC) package is an interactive FORTRAN 77 graphics program which produces high quality publication grade hidden line images of three dimensional wireframe objects. The term, Cockpit Oriented, is used because CODAC rotates objects relative to the changing aircraft axis system (rather than about a fixed global axis system) and uses the more familiar directions of yaw, roll, and pitch...
Downloads: 58
[texts]Modeling Biomass Gasification in Circulating Fluidized Beds: Model Sensitivity Analysis
A sensitivity analysis was performed on the 1‐dimensionalbiomass gasification model developed by Miao et al. (2013)[Miao, Qi et al., “Modeling biomass gasification incirculating fluidized beds.” Renewable Energy 50 (2013): 655‐61] to test its response to several gasifier operatingconditions including equivalence ratio (ER), bed temperature,fluidization velocity, biomass feed rate and moisture content.The parameters for the gasifier performance included syngascomposition, lower heating va...
Keywords: Equivalence Ratio; Temperature; Feed Rate; Moisture; Syngas Composition; LHV; Gasification Efficiency; Carbon Conversion; Sensitivity Analysis
Downloads: 51
[texts]Chiral Analyses of Organic Compounds in Carbonaceous Meteorites - Pizzarello, Sandr
Contents include the following: 1. Characterization of Tagish Lake organic content. The first two grant years were largely devoted to the molecular and isotopic analyses of Tagish Lake organic composition. This carbonaceous meteorite fell in Canada in the winter of the year 2000, and its exceptional atmospheric entry and subsequent recovery (e. g., the sample was recovered and stored by avoiding hand contact and above freezing temperatures) contributed in providing a rare and pristine extraterre...
Downloads: 91
[texts]Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness - Seyed H. HAERI (Hossein)
In International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10)
Keywords: Lazy Evaluation; Observational Equivalence; Operational Semantics; Selective Strictness; Induction on the Number of Manipulated Bindings
Downloads: 118
[texts]Gasification of Juliflora Chips in a Circulating Fluidized Bed Gasifier
Gasification of Juliflora chips was carried out in a 0.156 minner diameter and 5 m height circulating fluidized bedgasifier with sand of 250 μm diameter as the bed materialand air as the fluidizing medium. The influence ofequivalence ratio and gasification temperature on gascomposition, gas yield, lower heating value and gasificationefficiency was investigated. The gasification temperatureand equivalence ratio were maintained in the range of 700 to900ºC and 0.2 to 0.3 respectively...
Keywords: Circulating Fluidized Bed; Gasification; Juliflora Chips; Equivalence Ratio; Gas Composition; Gas Yield
Downloads: 26
[texts]mit :: ai :: aim :: AIM-078
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-078
Keywords: theory; free; models; constants; category; generator; equivalence; categorical; isomorphic; herbrand; herbrand universe; free group
Downloads: 32
[texts]Bounded state space - Eyman, E. D
This investigation is divided functionally into three different areas: (1) study of bounded state space, (2) nonlinear smoothing theory, and (3) system identification. (1) Study of bounded state space: necessary and sufficient conditions for an optimal control are obtained for a bounded state space optimal control problem. The difficulty of determining the so-called jump conditions is eliminated; however, the problem of determining the points where the response either enters or leaves the bounda...
Downloads: 125
[texts]Einstein, Hilbert & the theory of Gravitation - Jagdish Mehra
Jagdish Mehra Einstein Hilbert & the theory of Gravitation D. Reidel Publishing Company 1974 Acrobat 7 Pdf 4.73 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Physics; Relativity; Equivalence; Covariance; Grossmann; Hilbert; Hamilton; Riemann; Weyl; Space-Time
Downloads: 809
[texts]Indirect Model Reference Adaptive Control System Based on Dynamic Certainty Equivalence Principle and Recursive Identifier Scheme
The direct scheme of Model Reference Adaptive ControlSystem (MRACS) may have several disadvantages; (i) thecurrent state of the plant cannot be easily grasped fromvalues of adjustable adaptive controller parameters, (ii) ithas often inferior conditions to an indirect scheme, withrespect to the persistent excitation (PE) conditions ofadjustable controller parameters for convergence to optimalvalues...
Keywords: Model Reference Adaptive Control System; Indirect Scheme; Dynamic Certainty Equivalence Principle; Recursive Identifier
Downloads: 9
[texts]Relativity & High Energy Physics - W.G.V. Rosser

Keywords: clock paradox; relativity; equivalence; galilean transformation; principle of relativity; high energy and particle physics; lorentz; physics
Downloads: 202
[texts]Privacy Preserving MFI Based Similarity Measure For Hierarchical Document Clustering - P. Rajesh, G. Narasimha, N.Saisumanth
The increasing nature of World Wide Web has imposed great challenges for researchers in improving the search efficiency over the internet. Now days web document clustering has become an important research topic to provide most relevant documents in huge volumes of results returned in response to a simple query. In this paper, first we proposed a novel approach, to precisely define clusters based on maximal frequent item set (MFI) by Apriori algorithm...
Keywords: Maximal Frequent Item set; Apriori algorithm; Hierarchical document clustering; equivalence relation; ijorcs; ijorcs.org
Downloads: 9
[texts]nd :: ND812 :: IM41-0001 Software Instruction Manual BASC-12 General Assembler Jan71
From the bitsavers.org collection, a scanned-in computer-related document.nd :: ND812 :: IM41-0001 Software Instruction Manual BASC-12 General Assembler Jan71
Keywords: symbol; skip; assembler; program; cassette; octal; pass; equivalence; symbols; error; symbol table; memory reference; equivalence statement; overflow register; source program; location counter; interrupt levels; flag register; description timing; output device
Downloads: 11
[texts]ti :: ti-mix :: 1983 tiug SoftwEngr
From the bitsavers.org collection, a scanned-in computer-related document.ti :: ti-mix :: 1983 tiug SoftwEngr
Keywords: test; software; unstructured; errors; user; equivalence; structured; testing; error; system; structured test; software testing; test cases; test case; test plan; equivalence class; software errors; test plans; unstructured testing; test data
Downloads: 23
[1] 2 3     Next    Last
Advanced search

Group results by:

> Relevance

Related mediatypes